13 Bounds for Frege and extended Frege systems (BAPLaCT)